sh intuicionizam
― Synonym ⟶
Weight: 1.0
en intuitionistic logic Source: DBPedia 2015